#include "kernel/types.h"
#include "kernel/stat.h"
#include "user.h"

int main() {
  hello();
  exit();
}